Belief revision in a temporal framework

We study a branching-time temporal logic of belief revision where the interaction of belief and information is modeled explicitly. The logic is based on three modal operators: a belief operator, an information operator and a next-time operator. We consider three logics of increasing strength. The …rst captures the most basic notion of minimal belief revision. The second characterizes the qualitative content of Bayes’rule. The third is the logic proposed in [8], where some aspects of its relationship with the AGM theory of belief revision were investigated. We further explore the relationship to AGM with the help of semantic structures that have been used in the rational choice literature. Further strengthening of the logic are also investigated.